Grammatical Structures and Logical Deductions
نویسنده
چکیده
منابع مشابه
Logical Constants as Punctuation Marks
This paper presents a proof-theoretical approach to the question "What is a logical constant?" This approach starts with the assumption that logic is the science of formal deductions, and that basic formal deductions are structural deductions, i.e. deductions independent of any constant of the language to which the premises and conclusions belong. Logical constants, on which the remaining forma...
متن کاملThe Effect of Textual Enhancement Types on EFL Learners’ Grammatical Awareness of Simple and Complex Structures
The purpose of this study was to investigate the effect of textual enhancement types on English as Foreign Language ( EFL ) learn er s ’ grammatical awareness of simple and complex structures. A nu m- ber of 104 learners from Ayandegan Institute, in Tehran, participated in this study. To homogenize the samples, the researchers administered a placement Michigan Test of English language to the p...
متن کاملGenerating a Sentence from a Thought
It is desirable for an intelligent program to communicate with humans using a natural language. We have recently developed a program to parse a sentence into a thought using a learned English grammar. Without learning a separate grammar, this paper discusses how we convert the learned grammatical structures into role structures. These role structures can then be used by our algorithm to generat...
متن کاملDynamical Properties of Logical Substitutions
Many kinds of algebraic structures have associated dual topological spaces, among others commutative rings with 1 (this being the paradigmatic example), various kinds of lattices, boolean algebras, C∗-algebras, . . . . These associations are functorial, and hence algebraic endomorphisms of the structures give rise to continuous selfmappings of the dual spaces, which can enjoy various dynamical ...
متن کاملGrammatical Approach for the Physical and Logical Structure of Documents Analysis; Application to Summary Documents
This paper deals with the use of grammatical formalism to recognize the physical and the logical structures of a composite document. We propose a new system for document recognition and analysis. The aim of our research is to create a document structuring system by using a two level grammar. A two level grammar constitute a high level formalism of expression and structuration in document analys...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005